induction with matrices